#include <stdio.h>

int main(void) {
	int A, B, C;
	scanf("%d %d %d", &A, &B, &C);
	float sum =  0.2 * A + 0.3 * B + 0.5 * C;
	printf("%.0f", sum);
	return 0;
}